type X = [...number[]];
